Error detection in arrays via dependency graphs
نویسندگان
چکیده
منابع مشابه
Error Detection in Arrays via Dependency Graphs y
This paper describes a methodology based on dependency graphs for doing concurrent run-time error detection in systolic arrays and wavefront processors. It combines the projection method of deriving systolic arrays from dependency graphs with the idea of input-triggered testing. We call the method ITRED, for Input-driven Time-Redundancy Error Detection. Tests are triggered by inserting special ...
متن کاملTowards Search Control via Dependency Graphs in Europa2
We develop domain-independent search control for NASA’s Europa2 planning system based on the construction of Dependency Graphs, which succinctly represent the dependencies between the activities of a domain. This approach can be generalized to other temporal planners whose performance also relies on careful engineering of the domains and/or handcoded domain-dependent search control information.
متن کاملEfficient Minimum-Cost Network Hardening Via Exploit Dependency Graphs
In-depth analysis of network security vulnerability must consider attacker exploits not just in isolation, but also in combination. The general approach to this problem is to compute attack paths (combinations of exploits), from which one can decide whether a given set of network hardening measures guarantees the safety of given critical resources. We go beyond attack paths to compute actual se...
متن کاملTransformations on Dependency Graphs :
Dependency graphs are used to model data and control ow in hardware and software design. In a transformational design approach, optimization and re nement transformations are used to transform dependency-graph-based speci cations at higher abstraction levels to those at lower abstraction levels. In this dissertation, we investigate the formal speci cation and mechanical veri cation of transform...
متن کاملEfficient quadratic detection in perturbed arrays via Fourier transform techniques
Matched-field beamforming used in combination with a generalized likelihood ratio test is the most common detector structure in array processing situations. Unfortunately, various array perturbations caused by phase, calibration, propagation effects, or modeling errors can cause the sensor observations to become only partially correlated, limiting the performance of traditional matched-field be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of VLSI signal processing systems for signal, image and video technology
سال: 1992
ISSN: 0922-5773
DOI: 10.1007/bf00930644